Issue3323.agda:10,9-10
Unexpected modality/relevance annotation in .b
when checking the definition of T
